predicate variable

[网络] 谓词变项;谓词变量;谓词变元